Перевод: с русского на все языки

со всех языков на русский

рекурсивное равенство

См. также в других словарях:

  • рекурсивное определение — (от лат. recurso возвращаюсь) метод определения арифметической функции ?(у) или предиката Р(у) через область значений этой функции или предиката. Примером Р. о. может быть определение функции сложения: а + 0 = а, (1) а + b =(а+b) (2) В равенстве… …   Словарь терминов логики

  • Сортировка слиянием — Действие алгоритма на примере сортировки случайных точек. Сортировка слиянием (англ. merge sort) алгоритм сортировки, который упорядочивает списки (или другие структуры данных, доступ к элементам которых можно получать только п …   Википедия

  • КОНСТРУКТИВНАЯ СЕМАНТИКА — совокупность способов понимания суждений в конструктивной математике. Необходимость в особой семантике вызвана различием общих принципов, лежащих в основе традиционной (классической) и конструктивной математики (далее последний термин будет в… …   Математическая энциклопедия

  • Квалиа — «Квалиа»  от лат. qualia (мн. ч.)  свойства, качества, quale (ед. ч.)  какого сорта или какого рода. Термин, используемый в философии, преимущественно в англоязычной аналитической философии сознания, для обозначения сенсорных,… …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»